Atom Predicates and Set Predicates: Towards a General Theory of Plural Quantification
نویسندگان
چکیده
منابع مشابه
Atom Predicates and Set Predicates: Towards a General Theory of Plural Quantification
The interpretation of sentences with plural determiners and collective predicates is a highly complex problem that has not been sufficiently investigated, despite many advances in theories of plurality and quantification. This paper proposes a new typology of predicates that serves as a basis for a general treatment of singular and plural noun phrases within generalized quantifier theory. Secti...
متن کاملTowards a Thesaurus of Predicates
We propose a thesaurus of predicates that can help to resolve pre-editing and/or post-editing problems in machine translation environments. It differs from earlier approaches such as conventional dictionaries in that we are aiming to link a wide range of near-synonyms and paraphrases. We are compiling such similar examples through both introspection and the use of translation data, giving us a ...
متن کاملGeneral Hardness Amplification of Predicates and Puzzles
We give new proofs for the hardness amplification of efficiently samplable predicates and of weakly verifiable puzzles which generalize to new settings. More concretely, in the first part of the paper, we give a new proof of Yao’s XOR-Lemma that additionally applies to related theorems in the cryptographic setting. Our proof seems simpler than previous ones, yet immediately generalizes to state...
متن کاملThe Mathematics of Set Predicates in Prolog
We provide a logical speciication of set predicates ndall and bagof of Prolog. The speciication is given in proof theoretic terms, and pertains to any SLD{resolution based language. The order dependent aspects, relevant for languages embodying a sequential proof search strategy (possibly with side eeects), can be added in an orthogonal way. The speciication also allows us to prove that bagof ca...
متن کاملA General and Efficient Implementation of Geometric Operators and Predicates
Shape and location of objects in a spatial database are commonly represented by geometric data such as points, lines and regions. Numerous geometric operators and predicates have been proposed for spatial database systems. Existing work on their implementation concentrate on individual operators and predicates. This approach makes the realization of geometric operators and predicates in a spati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Semantics and Linguistic Theory
سال: 1998
ISSN: 2163-5951
DOI: 10.3765/salt.v8i0.2801